Web-based Multimedia Support for Distributed Cooperative Software Engineering

نویسندگان

  • Joseph A. Goguen
  • Kai Lin
چکیده

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami system design, especially user interface issues, and sketch an extension of algebraic semiotics for interface dynamics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Web-based Multimedia Support for Distributed Cooperative Software Engineering1

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...

متن کامل

Web-based Support for Cooperative Software Engineering1

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems has led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems has led us into hidden algebra and fuzzy logic. T...

متن کامل

Formal Tools for Distributed Cooperative Engineering

This paper describes some formal tools to support distributed cooperative software engineering. Workers at diierent sites can collaborate on tasks including speci-cation, reenement, proving and documentation. A design record database supports alternative and incomplete development activities, and is read using any web browser; remote proof execution, animation, and informal explanation are supp...

متن کامل

Adapting a Decision Making Synchronous/Asynchronous Environment to a Distributed Hypermedia Concurrent Engineering System

This paper discusses an ongoing adaptation of a decision making synchronous/asynchronous common environment for computer supported cooperative work (SACE-CSCW) for a distributed videoconferencing multimedia/ hypermedia concurrent engineering (CE) system to run over the Web. The SACE environment is being redesigned to incorporate this application area and its actual models are being extended to ...

متن کامل

Developing Multimedia Applications with the OMG Streaming Framework

This paper presents an implementation of the OMG (Object Management Group) media streaming framework and discusses how this speciication addresses some key issues related to multimedia communication, such as quality of service, support to multi-party streams, and ability to interwork with other multimedia infrastructures such as the World Wide Web. The OMG standard \Control and Management of Au...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000